" Christel Baier" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Principles of Model Checking

Christel Baier, Joost-Pieter Katoen

4.40 Mb

#2

Principles of Model Checking

Christel Baier, Joost-Pieter Katoen

5.15 Mb

#3

Theoretische Informatik: Eine Einführung in Berechenbarkeit, Komplexität und formale Sprachen mit 101 Beispielen

Alexander Asteroth, Christel Baier

2.01 Mb

#4

Theoretische Informatik

Asteroth Alexander, Baier Christel

Категория: fiction

2.08 Mb

#5

CONCUR 2006 - Concurrency Theory, 17 conf., CONCUR 2006

Christel Baier, Holger Hermanns

Категория: Cs_Computer science, CsLn_Lecture notes

5.16 Mb

#6

Validation of Stochastic Systems - A Guide to Current Research

Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle

Категория: CsLn_

5.22 Mb

#7

Principles of Model Checking

Christel Baier, Joost-Pieter Katoen, Kim Guldstrand Larsen

Категория: Computer science

17.08 Mb